Always display vertical scrollbar

diff --git a/src/doc/stylesheets/all.css b/src/doc/stylesheets/all.css
index 3c0bdc2b20793126397e27e3250ac1718b3edbfa..d416a2ad88a300e13fc2e901ca05fd6a15af7de1 100644 (file)
--- a/src/doc/stylesheets/all.css
+++ b/src/doc/stylesheets/all.css
@@ -17,6 +17,7 @@ body {
   -webkit-align-items: center;
           align-items: center;
   font-family: sans-serif;
+  overflow-y: scroll;
 }
 
 a { color: #00ac5b; text-decoration: none; }